assumption-based TMS

基于假定的真值维护系统